-
1 satisfiability problem
Большой англо-русский и русско-английский словарь > satisfiability problem
-
2 sharp product
Большой англо-русский и русско-английский словарь > sharp product
-
3 sum of products
Большой англо-русский и русско-английский словарь > sum of products
-
4 De Morgan law
Техника: правило Де Моргана (в булевой алгебре) -
5 satisfiability problem
1) Математика: задача выполнимости2) Вычислительная техника: проблема выполнимости, проблема выполнимости (в булевой алгебре)Универсальный англо-русский словарь > satisfiability problem
-
6 sharp product
Вычислительная техника: рёберное произведение (кубов в булевой алгебре) -
7 sum of products
Вычислительная техника: дизъюнкция конъюнкций (в булевой алгебре), сумма произведений -
8 дизъюнкция конъюнкций
Information technology: sum of products (в булевой алгебре)Универсальный русско-английский словарь > дизъюнкция конъюнкций
-
9 правило Де Моргана
Engineering: De Morgan law (в булевой алгебре)Универсальный русско-английский словарь > правило Де Моргана
-
10 правило де Моргана
Engineering: De Morgan law (в булевой алгебре)Универсальный русско-английский словарь > правило де Моргана
-
11 проблема выполнимости
Information technology: satisfiability problem, satisfiability problem (в булевой алгебре)Универсальный русско-английский словарь > проблема выполнимости
-
12 рёберное произведение
Information technology: sharp product (кубов в булевой алгебре)Универсальный русско-английский словарь > рёберное произведение
-
13 DeMorgan transformation
English-Russian electronics dictionary > DeMorgan transformation
-
14 преобразование де Моргана
( в булевой алгебре) DeMorgan transformationРусско-английский словарь по электронике > преобразование де Моргана
-
15 преобразование де Моргана
( в булевой алгебре) DeMorgan transformationРусско-английский словарь по радиоэлектронике > преобразование де Моргана
-
16 правило
dresser, ( для штукатурных работ) straight edge, Darby float, Derby float, float, floater, rod, ( при устройстве асфальтобетонного или бетонного покрытия) gage, law, ( для бетона) lute, floating rule, rule, principle, regulation, shaping tool* * *пра́вило с.
rule; мн. regulations; ( промышленно-отраслевые) codeпра́вила безопа́сности — safety regulationsпра́вила безопа́сности полё́тов — safety-flying regulationsпра́вило бура́вчика эл. — right-hand screw [thumb, corkscrew, Ampere's] ruleпра́вила визуа́льного полё́та [ПВП] — visual flight rules, VFRпра́вило Де Мо́ргана ( в булевой алгебре) — De Morgan lawпра́вило замеще́ния — substitution ruleпра́вило запре́та ( в квантовой механике) — Pauli-Fermi principleпра́вило зна́ков мат. — rule [convention] of signsпра́вила котлонадзо́ра — boiler codeпра́вило ле́вой руки́ — left-hand [Fleming's] ruleпра́вило Ле́нца эл. — Lenz's lawпра́вило ло́жного положе́ния мат. — rule [method] of false position, false-position method, regula falsiпра́вило площаде́й аргд. — area rule, law of areasпра́вила полё́тов — flight rulesпра́вила полё́тов по прибо́рам [ППП] — instrument flight rules, IFRпра́вило пра́вой руки́ — right-hand ruleпра́вила сопоставле́ния сообще́ния с ко́дом — ( при кодировании) encoding codebook; ( при декодировании) decoding codebookпра́вило сре́дней тре́ти — middle-third ruleпра́вила те́хники безопа́сности — safety regulationsпра́вила техни́ческой эксплуата́ции желе́зных доро́г [ПТЭ] — Railway Operating Rulesпра́вила у́личного движе́ния — traffic rulesпра́вила устро́йства электроустано́вок — electric installation codeпра́вило фаз — phase [Gibbs] ruleцепно́е пра́вило1. ( при дифференцировании) chain rule2. ( в логике) chain inferenceпра́вило што́пора — corkscrew [right-hand screw] ruleэмпири́ческое пра́вило — empirical rule, rule of thumb -
17 satisfiability problem
English-Russian dictionary of computer science and programming > satisfiability problem
-
18 sum of products
English-Russian dictionary of computer science and programming > sum of products
-
19 проблема выполнимости
( в булевой алгебре) satisfiability problemРусско-английский словарь по вычислительной технике и программированию > проблема выполнимости
-
20 logic operation
= logical operationоперация, реализующая в процессоре логическую функцию (logical function), т. е. функцию, аргументы которой принимают логические значения. В булевой алгебре (Boolean algebra) имеется 16 базовых логических функцийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic operation
- 1
- 2
См. также в других словарях:
Простые теоремы в алгебре множеств — Курсы элементарной дискретной математики иногда оставляют у студентов ошибочное представление о том, что основой теории множеств является алгебра объединения, пересечения и дополнения множеств. Для того, чтобы получить представление о некоторых… … Википедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
Конъюнкция — (от лат. conjunctio союз, связь) логическая операция, по своему применению максимально приближённая к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Конъюнкция может быть бинарной операцией, то есть, иметь два… … Википедия
Логическое умножение — Конъюнкция логическая операция, по своему применению максимально приближенная к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Это бинарная инфиксная операция, то есть, она имеет два операнда и ставится между ними.… … Википедия
Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… … Википедия
Дизъюнкция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Логическая дизъюнкция — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическая сумма — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое "или" — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое ИЛИ — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое сложение — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия